155,99€(IVA inc.)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
- Przigoda, Nils
- 978-3-319-72813-1
- 2018-02-09
51,99€(IVA inc.)
Automatic Methods for the Refinement of System Models
- Seiter, Julia
- 978-3-319-41479-9
- 2016-07-11
119,59€(IVA inc.)
Debugging at the Electronic System Level
- Rogin, Frank
- 978-94-007-9507-5
- 2014-10-28
90,47€(IVA inc.)
Design Automation Techniques for Approximation Circuits
- Chandrasekharan, Arun
- 978-3-319-98964-8
- 2018-10-24
114,39€(IVA inc.)
Exact Design of Digital Microfluidic Biochips
- Keszocze, Oliver
- 978-3-319-90935-6
- 2018-10-09
103,95€(IVA inc.)
High quality test pattern generation and Boolean satisfiability
- EggersglüB, Stephan
- 978-1-4419-9975-7
- 2012-04-17
103,95€(IVA inc.)
High Quality Test Pattern Generation and Boolean Satisfiability
- Eggersglüß, Stephan
- 978-1-4899-8847-8
- 2014-10-20